Create pipeline for symbol reachability - #2151

graph TD
    %% Main Entry Point
    Start([SymbolReachability Pipeline]) --> Step1[get_vulnerabilities_patches]
    
    %% Step 1: Get Patches
    Step1 --> ExtractPatches[Extract fixed_in_patches from vulnerabilities]
    ExtractPatches --> DedupePatches[Deduplicate by vcs_url & commit_hash]
    DedupePatches --> Step2[collect_resource_index]
    
    %% Step 2: Collect Resource Index
    Step2 --> FilterResources[Filter codebaseresources by TS_QUERIES languages]
    FilterResources --> ResLoop{For each candidate_resource}
    ResLoop -->|Next resource| BuildResIndex[ResourceAnalyzer.build_index]
    BuildResIndex --> ExtractDefs[Extract definitions, imports, calls & callers_of]
    ExtractDefs --> SaveResIndex[Store in resource_indexes]
    SaveResIndex --> ResLoop
    ResLoop -->|All resources processed| Step3[collect_patch_symbols]
    
    %% Step 3: Collect Patch Symbols
    Step3 --> GroupPatches[Group patches by vcs_url]
    GroupPatches --> RepoLoop{For each repository}
    RepoLoop -->|Next repo| CloneRepo[Clone repo to temp dir]
    CloneRepo --> PatchLoop{For each patch in repo}
    PatchLoop -->|Next patch| PatchAnalyzer[PatchAnalyzer.collect_patch_symbols]
    PatchAnalyzer --> GetDiff[Get changed files & diff vulnerable/fixed texts]
    GetDiff --> DetectLang[detect_language_with_scancode]
    DetectLang --> ParseAST[LanguageQuery.parse_code_to_ast]
    ParseAST --> ExtractSymbols[SymbolExtractor.extract_changed_symbols]
    ExtractSymbols --> DiffSymbols[diff_changed_symbols]
    DiffSymbols --> SavePatchSyms[Store in patch_symbols by commit_hash]
    SavePatchSyms --> PatchLoop
    PatchLoop -->|All patches checked| RepoLoop
    RepoLoop -->|All repos processed| Step4[collect_and_match_resources]
    
    %% Step 4: Match Resources and Patches
    Step4 --> MatchPatchLoop{For each patch}
    MatchPatchLoop -->|Next patch| MatchResLoop{For each candidate_resource}
    MatchResLoop -->|Next resource| CheckLang{Language matches patch?}
    CheckLang -->|No| MatchResLoop
    CheckLang -->|Yes| Matcher[ResourcePatchMatcher.match]
    
    Matcher --> MatchVuln[Match Vulnerable Symbols]
    Matcher --> MatchFixed[Match Fixed Symbols]
    
    MatchVuln & MatchFixed --> CheckEvidence{Evidence found?}
    CheckEvidence -->|No| MatchResLoop
    CheckEvidence -->|Yes| Classify[classify_reachability]
    Classify --> StatusReach[REACHABLE / UNKNOWN / NOT_REACHABLE]
    StatusReach --> UpdateData[save_resource_reachability_report]
    UpdateData --> MatchResLoop
    
    MatchResLoop -->|All resources checked| MatchPatchLoop
    MatchPatchLoop -->|All patches checked| End([End Process])

    %% Styling
    classDef stepNode fill:#e1f5fe,stroke:#03a9f4,stroke-width:2px;
    classDef functionNode fill:#f1f8e9,stroke:#4caf50,stroke-width:2px;
    classDef logicNode fill:#fff3e0,stroke:#ff9800,stroke-width:2px;
    classDef loopNode fill:#f3e5f5,stroke:#9c27b0,stroke-width:2px;
    
    class Start,End,Step1,Step2,Step3,Step4 stepNode;
    class RepoLoop,PatchLoop,ResLoop,MatchPatchLoop,MatchResLoop loopNode;
    class CheckLang,CheckEvidence logicNode;
    class PatchAnalyzer,Matcher,Classify,BuildResIndex functionNode;